where does circle area formula come from